1181. Swarm, evolutionary, and memetic computing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Evolutionary computation, Congresses,Evolutionary programming (Computer science), Congresses,Swarm intelligence, Congresses

رده :
QA76
.
618
.
I58
2011

1182. Swift data structure and algorithms :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : iOS (Electronic resource),iOS (Electronic resource),Application software-- Development.,Mobile computing-- Programming.,Swift (Computer program language),Application software-- Development.,COMPUTERS / Computer Literacy,COMPUTERS / Computer Science,COMPUTERS / Data Processing,COMPUTERS / Hardware / General,COMPUTERS / Information Technology,COMPUTERS / Machine Theory,COMPUTERS / Reference,Swift (Computer program language)

رده :
QA76
.
774
.
I67

1183. Swift 4 recipes :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Swift (Computer program language),Swift (Computer program language)

رده :
QA76
.
73
.
S95
Z34
2019

1184. Symbolic Algebraic Methods and Verification Methods

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra -- Data processing.,Computer science.,Mathematics.

رده :
QA76
.
9
.
M35
E358
2001

1185. Symposium on semantics of algorithmic languages

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms

رده :
QA
76
.
7
.
S9
1971

1186. Symposium on semantics of algorithmic languages

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms

رده :
QA
1
.
L4
v
.
188

1187. Synchronization algorithms and concurrent programming

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : ، Algorithms,، Computer system programming language

رده :
QA
76
.
9
.
T3S9

1188. System Theory

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer engineering.,Computer vision.,Engineering.,Mechanical engineering.

1189. Systems programming in Unix/Linux /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)

رده :
QA76
.
76
.
O63
W36
2018

1190. Systolic Computations

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Mathematics.,Software engineering.

1191. Teach yourself ANSI C++ in 21 days /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : C++ (Computer program language)

رده :
QA76
.
73
.
C153
L53
1996

1192. Ten applications of graph theory

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer Science.,Discrete Mathematics in Computer Science.,Graph theory.

رده :
QA166
.
H367
9999

1193. Term Rewriting :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Computer Science.,Engineering & Applied Sciences.

1194. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :
QA
76
.
L28
Vol
.
4098

1195. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :
QA
267
.
I555
2006

1196. Testing and tuning market trading systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : C++ (Computer program language),Computer algorithms.,Data mining.,Algorithms & data structures.,C++ (Computer program language),Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- C++,Data mining.,Finance.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
73
.
C153

1197. The Desin and analysis of parallel algorithms

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Parallel programming )Computer science(,، Algorithms

رده :
QA
76
.
6
.
A38
1989

1198. The Finite Volume Method in Computational Fluid Dynamics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Engineering.,Hydraulic engineering.,Computer science.,Engineering.,Hydraulic engineering.

رده :
TA357-359

1199. The Logic of Partial Information

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.

رده :
QA76
.
7
B937
1995

1200. The Macintosh bible /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.

رده :
QA76
.
8
.
M3
A4368
1998